Jean-Christophe Filliâtre : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (16)
Les plus populaires
Liste
- Liste
- Tableau

1

Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre…

Journal:

Journal of Automated Reasoning

Année:

2013

Langue:

english

Fichier:

PDF, 1.71 MB

english, 2013

2

Formal proof of a program: Find

Jean-Christophe Filliâtre

Journal:

Science of Computer Programming

Année:

2007

Langue:

english

Fichier:

PDF, 232 KB

english, 2007

3

Deductive software verification

Jean-Christophe Filliâtre

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2011

Langue:

english

Fichier:

PDF, 183 KB

english, 2011

4

CAOVerif: An open-source deductive verification platform for cryptographic software implementations

Almeida, José Bacelar, Barbosa, Manuel, Filliâtre, Jean-Christophe, Pinto, Jorge Sousa, Vieira, Bárbara

Journal:

Science of Computer Programming

Année:

2014

Langue:

english

Fichier:

PDF, 430 KB

english, 2014

5

Let’s verify this with Why3

Bobot, François, Filliâtre, Jean-Christophe, Marché, Claude, Paskevich, Andrei

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2015

Langue:

english

Fichier:

PDF, 2.79 MB

english, 2015

6

Trusting computations: A mechanized proof from partial differential equations to actual program

Boldo, Sylvie, Clément, François, Filliâtre, Jean-Christophe, Mayero, Micaela, Melquiond, Guillaume, Weis, Pierre

Journal:

Computers & Mathematics with Applications

Année:

2014

Langue:

english

Fichier:

PDF, 1.06 MB

english, 2014

7

[IEEE 18th IEEE Symposium on Computer Arithmetic (ARITH '07) - Montpellier, France (2007.06.25-2007.06.27)] 18th IEEE Symposium on Computer Arithmetic (ARITH '07) - Formal Verification of Floating-Point Programs

Boldo, Sylvie, Filliatre, Jean-Christophe

Année:

2007

Langue:

english

Fichier:

PDF, 286 KB

english, 2007

8

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 3839 || λZ: Zermelo’s Set Theory as a PTS with 4 Sorts

Filliâtre, Jean-Christophe, Paulin-Mohring, Christine, Werner, Benjamin

Année:

2006

Langue:

english

Fichier:

PDF, 625 KB

english, 2006

9

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 3839 ||

Filliâtre, Jean-Christophe, Paulin-Mohring, Christine, Werner, Benjamin

Année:

2006

Langue:

english

Fichier:

PDF, 2.56 MB

english, 2006

10

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 3839 || Extracting a Normalization Algorithm in Isabelle/HOL

Filliâtre, Jean-Christophe, Paulin-Mohring, Christine, Werner, Benjamin

Année:

2006

Langue:

english

Fichier:

PDF, 474 KB

english, 2006

11

[ACM Press the 2007 workshop - Freiburg, Germany (2007.10.05-2007.10.05)] Proceedings of the 2007 workshop on Workshop on ML - ML '07 - A persistent union-find data structure

Conchon, Sylvain, Filliâtre, Jean-Christophe

Année:

2007

Langue:

english

Fichier:

PDF, 186 KB

english, 2007

12

[ACM Press the 2006 workshop - Portland, Oregon, USA (2006.09.16-2006.09.16)] Proceedings of the 2006 workshop on ML - ML '06 - Backtracking iterators

Filliâtre, Jean-Christophe

Année:

2006

Langue:

english

Fichier:

PDF, 148 KB

english, 2006

13

[ACM Press the 2006 workshop - Portland, Oregon, USA (2006.09.16-2006.09.16)] Proceedings of the 2006 workshop on ML - ML '06 - Type-safe modular hash-consing

Filliâtre, Jean-Christophe, Conchon, Sylvain

Année:

2006

Langue:

english

Fichier:

PDF, 164 KB

english, 2006

14

Producing all ideals of a forest, functionally

FILLIÂTRE, JEAN-CHRISTOPHE, POTTIER, FRANÇOIS

Journal:

Journal of Functional Programming

Année:

2003

Langue:

english

Fichier:

PDF, 124 KB

english, 2003

15

Verification of non-functional programs using interpretations in type theory

FILLIÂTRE, JEAN-CHRISTOPHE

Journal:

Journal of Functional Programming

Année:

2003

Langue:

english

Fichier:

PDF, 294 KB

english, 2003

16

The spirit of ghost code

Filliâtre, Jean-Christophe, Gondelman, Léon, Paskevich, Andrei

Journal:

Formal Methods in System Design

Année:

2016

Langue:

english

Fichier:

PDF, 1.09 MB

english, 2016